Divisible Z-modules

نویسندگان

  • Yuichi Futa
  • Yasunari Shidama
چکیده

In this article, we formalize the definition of divisible Z-module and its properties in the Mizar system [3]. We formally prove that any non-trivial divisible Z-modules are not finitely-generated. We introduce a divisible Z-module, equivalent to a vector space of a torsion-free Z-module with a coefficient ring Q. Z-modules are important for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [15], cryptographic systems with lattices [16] and coding theory [8].

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modules over the Ring of Pseudorational Numbers and Quotient Divisible Groups

Structure theorems are obtained for some classes of modules over the ring of pseudorational numbers and some classes of quotient divisible mixed groups.

متن کامل

On a Conjecture of Conrad, Diamond, and Taylor

We prove a conjecture of Conrad, Diamond, and Taylor on the size of certain deformation rings parametrizing potentially Barsotti-Tate Galois representations. To achieve this, we extend results of Breuil and Mézard (classifying Galois lattices in semistable representations in terms of “strongly divisible modules”) to the potentially crystalline case in Hodge-Tate weights (0, 1). We then use thes...

متن کامل

On a non-vanishing Ext

The existence of valuation domains admitting non-standard uniserial modules for which certain Exts do not vanish was proved in [1] under Jensen’s Diamond Principle. In this note, the same is verified using the ZFC axioms alone. In the construction of large indecomposable divisible modules over certain valuation domainsR, the first author used the property thatR satisfied Ext1R(Q,U) 6= 0, where ...

متن کامل

A KIND OF F-INVERSE SPLIT MODULES

Let M be a right module over a ring R. In this manuscript, we shall study on a special case of F-inverse split modules where F is a fully invariant submodule of M introduced in [12]. We say M is Z 2(M)-inverse split provided f^(-1)(Z2(M)) is a direct summand of M for each endomorphism f of M. We prove that M is Z2(M)-inverse split if and only if M is a direct...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016